Logical omniscience as infeasibility
نویسندگان
چکیده
Article history: Available online 20 August 2013 MSC: 03B45 03B60 03F07 68Q17
منابع مشابه
Dealing With Logical Omniscience: Expressiveness and Pragmatics
We examine four approaches for dealing with the logical omniscience problem and their potential applicability: the syntactic approach, awareness, algorithmic knowledge, and impossible possible worlds. Although in some settings these approaches are equiexpressive and can capture all epistemic states, in other settings of interest (especially with probability in the picture), we show that they ar...
متن کاملAvoiding Logical Omniscience by Default - An Investigation into Autoepistemic Logic (Levesque, 1990)
In cognitive science epistemic logic is often used to describe reasoning with knowledge. Standard systems of epistemic logic suffer from the fact that they presuppose perfect and flawless reasoning (i.e. logical omniscience). Deviation from this ideal (e.g. logical ignorance) cannot be described by standard epistemic systems adequately. The majority of approaches to this problem weakens the log...
متن کاملLogical omniscience and common knowledge: WHAT do we know and what do WE know?
Two difficult issues for the logic of knowledge have been logical omniscience and common knowledge. Our existing logics of knowledge based on Kripke structures seem to justify logical omniscience, but we know that in real life it does not exist. Also, common knowledge appears to be needed for certain real life procedures to work. But it seems quite implausible that it actually exists in real pe...
متن کاملTheoretical Omniscience: Old Evidence or New Theory
I will show that, in the Problem of Old Evidence, unless a rational agent has a property I will call theoretical omniscience (a stronger version of logical omniscience), a problem with non-commutativity of the learning theories follows. Therefore, scientists, when trying to behave as close to rationality as possible, should behave in a way close to the counterfactual strategy. The concept of th...
متن کاملThe problem of logical omniscience, the preface paradox, and doxastic commitments
The main goal of this paper is to investigate what explanatory resources Robert Brandom’s distinction between acknowledged and consequential commitments affords in relation to the problem of logical omniscience. With this distinction the importance of the doxastic perspective under consideration for the relationship between logic and norms of reasoning is emphasized, and it becomes possible to ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Ann. Pure Appl. Logic
دوره 165 شماره
صفحات -
تاریخ انتشار 2014